Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Search: ^m

Education/MFES0910 Web Changed Changed by
Material 15 Jul 2012 - 18:12 - r51 JoseNunoOliveira
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
MetodosFormais 10 May 2007 - 22:38 - r5 JoseNunoOliveira
Métodos Formais Preâmbulo A ciência tem a ver com o perceber se como o mundo e as suas coisas funcionam e a tecnologia com o garantir que certas coisas que se ...
Modulos 04 May 2007 - 10:58 - r3 AlcinoCunha
Módulos Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura: Métodos Formais ...
Found 3 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM